Equivalence relations and determinacy
نویسندگان
چکیده
We introduce the notion of [Formula: see text]-determinacy for text] a pointclass and an equivalence relation on Polish space text]. A case particular interest is when (left) shift-action where or show that all shift actions by countable groups text], any “reasonable” implies text]-determinacy. also prove corresponding result subshift finite type map
منابع مشابه
Determinacy - (Observation Equivalence = Trace Equivalence)
If an experiment s is conducted on a parallel process p, then, in general, different processes may result from the experiment, due to the nondeterministic behaviour of p (in the notation of Milner (1980): p ~ p' for different p'). Process p is called determinate if the resulting processes are all equivalent (i.e., if p A=> p' and p ~ p", then p' and p" are equivalent). This means that, although...
متن کاملFUZZY SUBGROUPS AND CERTAIN EQUIVALENCE RELATIONS
In this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group G and give four equivalent conditions each ofwhich characterizes this relation. We demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. Moreover, we study the behavior of these equivalence classes under theaction of a...
متن کاملRelations and Equivalence Relations
In this section, we shall introduce a formal definition for the notion of a relation on a set. This is something we often take for granted in elementary algebra courses, but is a fundamental concept in mathematics i.e. the very notion of a function relies upon the definition of a relation. Following this, we shall discuss special types of relations on sets. 1. Binary Relations and Basic Definit...
متن کاملfuzzy subgroups and certain equivalence relations
in this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group g and give four equivalent conditions each ofwhich characterizes this relation. we demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. moreover, we study the behavior of these equivalence classes under theaction of a...
متن کاملFuzzy equivalence relations and their equivalence classes
In this paper we investigate various properties of equivalence classes of fuzzy equivalence relations over a complete residuated lattice. We give certain characterizations of fuzzy semipartitions and fuzzy partitions over a complete residuated lattice, as well as over a linearly ordered complete Heyting algebra. In the latter case, for a fuzzy equivalence relation over a linearly ordered comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Logic
سال: 2022
ISSN: ['0219-0613', '1793-6691']
DOI: https://doi.org/10.1142/s0219061322500039